Symbolic models for incrementally stable switched systems with aperiodic time sampling
نویسندگان
چکیده
منابع مشابه
Approximate Bisimulation for Switching Delays in Incrementally Stable Switched Systems
Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound for errors caused by switching delays. Our framework is based on approximate bisimulation, a notion that has been previously utilized mainly for symbolic (discrete) abstraction of state spaces. Notable in our framewor...
متن کاملApproximately Bisimilar Symbolic Models for Stochastic Switched Systems
Stochastic switched systems are a class of continuous-time dynamical models with probabilistic evolution over a continuous domain and controldependent discrete dynamics over a finite set of locations (modes). As such, they represent a subclass of general stochastic hybrid systems. While the literature has witnessed recent progress in the dynamical analysis and controller synthesis for the stabi...
متن کاملApproximately bisimilar symbolic models for randomly switched stochastic systems
In the past few years there has been a growing interest in the use of symbolic models for control systems. The main reason is the possibility to leverage algorithmic techniques over symbolic models to synthesize controllers that are valid for the concrete control systems. Such controllers can enforce complex logical specifications that are otherwise hard (if not impossible) to establish on the ...
متن کاملDelay-Dependent Robust Asymptotically Stable for Linear Time Variant Systems
In this paper, the problem of delay dependent robust asymptotically stable for uncertain linear time-variant system with multiple delays is investigated. A new delay-dependent stability sufficient condition is given by using the Lyapunov method, linear matrix inequality (LMI), parameterized first-order model transformation technique and transformation of the interval uncertainty in to the norm ...
متن کاملNew modelling technique for aperiodic-sampling linear systems
A general input-output modelling technique for aperiodic-sampling linear systems has been developed. The procedure describes the dynamics of the system and includes the sequence of sampling periods among the variables to be handled. Some restrictive conditions on the sampling sequence are imposed in order to guarantee the validity of the model. The particularization to the periodic case represe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2018
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2018.08.043